_require "./010_require3.smi"
val y : int
